Nuprl Definition : pm_equal
12,41
postcript
pdf
i
=
j
== (
i
=
j
)
(
i
= (-
j
))
latex
clarification:
i
=
j
== (
i
=
j
)
(
i
= (-
j
)
)
latex
Definitions
P
Q
,
s
=
t
,
,
-
n
FDL editor aliases
pm_equal
origin